home *** CD-ROM | disk | FTP | other *** search
/ Whiteline: Alpha / Whiteline Alpha.iso / gemini / gmni_bug.lzh / USER / MUPFEL.RC
Encoding:
Text File  |  1994-09-15  |  1.4 KB  |  66 lines
  1. #!mupfel
  2. # Mupfel Run Command
  3. #
  4. # Mit dem profile.mup, wie es hier beiliegt, wird diese Datei von
  5. # _jeder_ Mupfel geladen! Wenn das beiliegende profile.mup benutzt
  6. # wird, muß diese Datei in $HOME liegen.
  7. #
  8.  
  9.  
  10. # Historygröße wird auf 40 Eingabezeilen gesetzt
  11. #
  12. history -s 40
  13.  
  14.  
  15. # Funktionstasten und Aliase
  16. #
  17. fkey F10 'exit|'
  18.  
  19. # Bewirkt, daß in GEMINI nach Drücken von F1 in das Verzeichnis des
  20. # obersten Fensters gewechselt wird.
  21. fkey F1 'cd $TOPWIND|'
  22.  
  23.  
  24. # Einige Aliase für häufig benutze Kommandos
  25. #
  26. alias less='more'
  27. alias ls='ls -F'
  28. alias ll='ls -l'
  29. alias clear="echo '%033E%c'"
  30. alias sh='$SHELL'
  31. alias fast='runopts -c +flm'
  32. alias slow='runopts -c -flm'
  33.  
  34. # Wichtige Option für more, damit alle Fähigkeiten des
  35. # Terminals genutzt werden.
  36. alias more="more -c"
  37. alias du="du -k"
  38.  
  39.  
  40. # Wenn das HISTFILE existiert oder in HOME ein mupfel.hst existiert,
  41. # dann lies es ein.
  42. #
  43. if [ -r ${HISTFILE:-$HOME\mupfel.hst} ]
  44. then
  45.   history -r
  46. fi
  47.  
  48.  
  49. # Kommando zum Drucken von Dateien (benutzt das cat.ttp aus
  50. # den Tools von Julian Reschke. Gleichzeitig ein Beispiel für
  51. # eine einfache Shell-Funktion.)
  52. print ()
  53. {
  54.   for i in $*
  55.   do cut -b 1- $i >prn:
  56.   done
  57. }
  58.  
  59.  
  60. # trap cmd EXIT
  61. # bewirkt, daß das Kommando cmd beim Verlassen der Shell (Mupfel oder
  62. # Gemini) ausgeführt wird. In diesem Fall wird die History gesichert.
  63. # Man kann aber alle möglichen Befehle damit ausführen.
  64. #
  65. trap "history -w" EXIT
  66.